Luby--Veli\v{c}kovi\'c--Wigderson revisited: Improved correlation bounds and pseudorandom generators for depth-two circuits
نویسندگان
چکیده
We study correlation bounds and pseudorandom generators for depth-two circuits that consist of a SYM-gate (computing an arbitrary symmetric function) or THR-gate (computing an arbitrary linear threshold function) that is fed by S AND gates. Such circuits were considered in early influential work on unconditional derandomization of Luby, Veličković, and Wigderson [LVW93], who gave the first non-trivial PRG with seed length 2 √ log(S/ε)) that ε-fools these circuits. In this work we obtain the first strict improvement of [LVW93]’s seed length: we construct a PRG that ε-fools size-S {SYM,THR} ◦ AND circuits over {0, 1}n with seed length 2 √ logS) + polylog(1/ε), an exponential (and near-optimal) improvement of the ε-dependence of [LVW93]. The above PRG is actually a special case of a more general PRG which we establish for constant-depth circuits containing multiple SYM or THR gates, including as a special case {SYM,THR} ◦ AC circuits. These more general results strengthen previous results of Viola [Vio07] and essentially strengthen more recent results of Lovett and Srinivasan [LS11]. Our improved PRGs follow from improved correlation bounds, which are transformed into PRGs via the Nisan–Wigderson “hardness versus randomness” paradigm [NW94]. The key to our improved correlation bounds is the use of a recent powerful multi-switching lemma due to H̊astad [H̊as14]. Supported by NSF grants CCF-1420349 and CCF-1563155. [email protected] Supported by NSF grant CCF-1563122. Part of this research was done during a visit to Columbia University. [email protected]
منابع مشابه
Improved Bounds for Quantified Derandomization of Constant-Depth Circuits and Polynomials
This work studies the question of quantified derandomization, which was introduced by Goldreich and Wigderson (STOC 2014). The generic quantified derandomization problem is the following: For a circuit class C and a parameter B = B(n), given a circuit C ∈ C with n input bits, decide whether C rejects all of its inputs, or accepts all but B(n) of its inputs. In the current work we consider three...
متن کاملHardness vs Randomness
We present a simple new construction of a pseudorandom bit generator, based on the constant depth generators of [N]. It stretches a short string of truly random bits into a long string that looks random to any algorithm from a complexity class C (eg P, NC, PSPACE, ...) using an arbitrary function that is hard for C. This construction reveals an equivalence between the problem of proving lower b...
متن کاملTR - C 167 title : On Proving Circuit Lower Bounds Against the Polynomial - time Hierarchy : Positive / Negative Results and Some Related Lower Bounds for Constant Depth Circuits
We consider the problem of proving circuit lower bounds against the polynomialtime hierarchy. We give both positive and negative results. For the positive side, for any fixed integer k > 0, we give an explicit Σp2 language, acceptable by a Σ p 2-machine with running time O(nk 2+k), that requires circuit size > nk. This provides a constructive version of an existence theorem of Kannan [Kan82]. O...
متن کاملImproved pseudorandom generators from pseudorandom multi-switching lemmas
We give the best known pseudorandom generators for two touchstone classes in unconditional derandomization: an ε-PRG for the class of size-M depth-d AC circuits with seed length log(M) · log(1/ε), and an ε-PRG for the class of S-sparse F2 polynomials with seed length 2 √ logS) · log(1/ε). These results bring the state of the art for unconditional derandomization of these classes into sharp alig...
متن کاملOn Proving Circuit Lower Bounds Against PH and Some Related Lower Bounds for Constant Depth Circuits
We consider the problem of proving circuit lower bounds against the polynomial-time hierarchy. We give both positive and negative results. For the positive side, for any fixed integer k > 0, we give an explicit Σp2 language, acceptable by a Σ p 2-machine with running time O(n k2+k), that requires circuit size > nk. This provides a constructive version of an existence theorem of Kannan [Kan82]. ...
متن کامل